Temporal Logic Planning and Receding Horizon Control for Signal Source Localization

This article copes with signal source localization by employing a receding horizon control approach temporal logic planning in the light of single mobile robot. First, is proposed such that task requirements from specifications can be effectively dealt based on product automaton an offline fashion. Second, order to label key nodes automaton, particle filter utilized predict positions as nodes. Third, basis developed produce robot’s trajectory satisfies given linear specification. Finally, effectiveness illustrated for localization.